A finite integral domain is a field (Theorem 13.2)